Live Graphical Computing Logic, Virtual Trees, and Visualization

The paper is a preliminary overview to a virtual tree computing logic with applications to Virtual Reality. Meta-contextual logic is combined with Morph Gentzen, a new computing logic the author presented in 1997. It has applications towards Virtual RealityVR computing since the trees on the languages can carry visual structures via functions. Designated functions define agents, as specific function symbols, to represent languages with only abstract definition known at syntax. The languages are called “Intelligent” in the sense that there are designated function symbols on the syntax with explicit signature annotations, for example having to have 1-1 functions only on a subsignture. Generic diagrams for models are defined as yet a second order lift from context. The techniques allowed us to define a computational linguistics and model theory for “intelligent languages,” i.e. agent augmented languages. Applications to visual computing with agent JAVA are alluded to. * Prjekakdmkrd.tripod.com Academic E-mail [email protected]